$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), $L$:$T$ List. remove{-}repeats(${\it eq}$;$L$) $\in$ $T$ List